5881. Tools and Algorithms for the Construction and Analysis of Systems
Author: / nigنCormac Flanagan, Barbara K
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
5882. Tools and Algorithms for the Construction and Analysis of Systems
Author: / Nir Piterman, Scott A. Smolka
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
5883. Tools and Algorithms for the Construction and Analysis of Systems
Author: / m, Klaus HavelundعbrahErika
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
5884. Tools and Algorithms for the Construction and Analysis of Systems
Author: / Parosh Aziz Abdulla, K. Rustan M. Leino
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
5885. Tools and Algorithms for the Construction and Analysis of Systems
Author: \ Christel Baier, Cesare Tinelli (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: System design -- Congresses.,Computer software -- Verification -- Congresses.,System analysis -- Congresses.,طراحی سیستم -- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA76
.
9
.
T33
2010
E-Book
,
5886. Tools and Algorithms for the Construction and Analysis of Systems
Author: / Javier Esparza, Rupak Majumdar
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
5887. Tools and Algorithms for the Construction and Analysis of Systems
Author: / Christel Baier, Cesare Tinelli
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
5888. Tools and algorithms for the construction and analysis of system
Author: / C.R. Ramakrishnan, Jakob Rehof (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: System design--Congresses,System analysis--Congresses,Computer software--Development--Congresses
Classification :
QA
,
76
.
9
,.
S88
,
T33
,
2008
5889. Tools and algorithms for the construction and analysis of systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: System design ; Congresses. ; Computer software ; Development ; Congresses. ;
5890. Tools and algorithms for the construction and analysis of systems :
Author: Javier Esparza, Rupak Majumdar (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: System analysis, Congresses,System design, Congresses,Computer Systems.,Software Validation.,Systems Analysis.
Classification :
QA76
.
9
.
S88
T33
2010
5891. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
5892. Tools and algorithms for the construction and analysis of systems :
Author: Tiziana Margaria, Bernhard Steffen, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
5893. Tools and algorithms for the construction and analysis of systems :
Author: Tomáš Vojnar, Lijun Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
Classification :
QA76
.
9
.
S88
5894. Tools and algorithms for the construction and analysis of systems
Author: Cormac Flanagan, Barbara König (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: System analysis, Congresses,System design, Congresses
Classification :
QA76
.
9
.
S88
T33
2012eb
5895. Tools and algorithms for the construction and analysis of systems
Author: Nir Piterman, Scott A. Smolka (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses
Classification :
QA76
.
9
.
S88
T33
2013
5896. Tools and algorithms for the construction and analysis of systems
Author: Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: System analysis, Congresses,System design, Congresses
Classification :
QA76
.
9
.
S88
T33
2011
5897. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
Author: Tizina Margaria, Bernhard Steffen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1055
5898. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
Author: E. Brinksma ... )et al.(, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
V0l
.
1019
5899. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Author: W. Rance Cleaveland )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1579
5900. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings
Author: Susanne Graf, Michael Schartzbach )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1785
